Constraint algorithm

Results: 320



#Item
261Software engineering / Computer programming / Computing / Constraint satisfaction / Constraint logic programming / Simplex algorithm / Slack variable / Linear programming / Cassowary / Constraint programming / Mathematical optimization / Operations research

The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington

Add to Reading List

Source URL: www.cs.washington.edu

Language: English - Date: 2002-01-03 19:01:27
262Mathematics / Candidate solution / Genetic algorithm / Constraint / Global optimization / Evolutionary computation / Evolutionary algorithm / Mathematical optimization / Applied mathematics / Mathematical analysis

Enhancements to Constrained Novelty Search Two-Population Novelty Search for Generating Game Content Antonios Liapis Georgios N. Yannakakis

Add to Reading List

Source URL: julian.togelius.com

Language: English - Date: 2013-08-26 11:58:55
263Genetic algorithm / Mathematics / Constraint / Spaceship / Candidate solution / Simulation / Racing video game / Science / Mathematical optimization / Operations research / Applied mathematics

Neuroevolutionary Constrained Optimization for Content Creation Antonios Liapis, Georgios N. Yannakakis, Member, IEEE and Julian Togelius, Member, IEEE Abstract— This paper presents a constraint-based procedural conten

Add to Reading List

Source URL: julian.togelius.com

Language: English - Date: 2013-08-26 11:58:51
264Applied mathematics / Constraint satisfaction problem / Constraint satisfaction / Local consistency / Boolean satisfiability problem / Search algorithm / Linear programming / Constraint programming / Theoretical computer science / Software engineering

Solving planning-graph by compiling it into CSP Minh Binh Do & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZ[removed]Email: fbinhminh,[removed]

Add to Reading List

Source URL: rakaposhi.eas.asu.edu

Language: English - Date: 2004-04-15 15:35:21
265Mathematics / Applied mathematics / Simplex algorithm / Linear programming / Slack variable / Constraint logic programming / Constraint / Least squares / Hybrid algorithm / Mathematical optimization / Constraint programming / Operations research

The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning

Add to Reading List

Source URL: www.cs.washington.edu

Language: English - Date: 2000-05-10 17:41:18
266Classical mechanics / Abstract algebra / Linear algebra / Introductory physics / Kinematics / Constraint algorithm / Calculus of variations / Holonomic / Exponentiation / Mathematics / Algebra / Physics

Part IV Planning Under Differential Constraints Steven M. LaValle University of Illinois

Add to Reading List

Source URL: planning.cs.uiuc.edu

Language: English - Date: 2012-04-20 17:07:06
267Constraint / Real-time strategy / Evolutionary computation / Level design / Cartography / Applied mathematics / Science / Software development / Mathematical optimization / Genetic algorithm / Candidate solution

Sentient Sketchbook: Computer-Aided Game Level Authoring Antonios Liapis Georgios N. Yannakakis

Add to Reading List

Source URL: julian.togelius.com

Language: English - Date: 2013-08-26 11:58:55
268Computer programming / Constraint satisfaction / Nurse scheduling problem / Constraint logic programming / Mathematical optimization / Hybrid algorithm / ECLiPSe / Constraint programming / Declarative programming / Software engineering

A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills,

Add to Reading List

Source URL: www.cem.brighton.ac.uk

Language: English - Date: 2003-03-24 06:32:38
269Operations research / Convex optimization / Frank–Wolfe algorithm / Constraint algorithm / Gradient descent / Optimal control / Wolfe conditions / Quadratic programming / Linear programming / Numerical analysis / Mathematical optimization / Mathematics

174 IEEE TRANSACTIONS Oh’AUOMATIC CONTROL, VOL. AC-21, NO. 2,APRIL 1976

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2014-05-01 00:50:06
270Constraint programming / Boolean algebra / Automated theorem proving / Logic in computer science / NP-complete problems / Boolean satisfiability problem / DPLL algorithm / Satz / Solver / Theoretical computer science / Applied mathematics / Mathematics

Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗

Add to Reading List

Source URL: ami.ektf.hu

Language: English - Date: 2013-12-20 13:48:28
UPDATE